منابع مشابه
RAPPORT Logic Programming and Negation : A Survey
We survey here various approaches which were proposed to incorporate negation in logic programs. We concentrate on the proof-theoretic and model-theoretic issues and the relationships between them.
متن کاملNorges Teknisk-naturvitenskapelige Universitet
This thesis presents a framework of a passively replicated transaction manager. By integrating transactions and replication, two well known fault tolerance techniques, the framework provides high availability for transactional systems and better support for non-deterministic execution for replicated systems. A prototype Java implementation of the framework, based on Jgroup/ARM and Jini, has bee...
متن کاملNorges Teknisk-naturvitenskapelige Universitet
State estimation in high dimensional systems remains a challenging part of real time analysis. The ensemble Kalman filter addresses this challenge by using Gaussian approximations constructed from a number of samples. This method has been a large success in many applications. Unfortunately, for some cases, Gaussian approximations are no longer valid and the filter does not work so well. In this...
متن کاملVirtual Rapport
Effective face-to-face conversations are highly interactive. Participants respond to each other, engaging in nonconscious behavioral mimicry and backchanneling feedback. Such behaviors produce a subjective sense of rapport and are correlated with effective communication, greater liking and trust, and greater influence between participants. Creating rapport requires a tight senseact loop that ha...
متن کاملVTI rapport
..................................................................................................................................................4 Sammanfattning .....................................................................................................................................9 Summary ..............................................................................................
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Surveyjournalen
سال: 2021
ISSN: 2001-9327
DOI: 10.15626/sj.20200702